Classifying the Zhuangzi Chapters . Liu Xiaogan, trans, by William E. Savage, 1994, Ann Arbor, Center for Chinese Studies, University of Michigan, xxii + 217 pp., ISBN 0 89264 106 1.

We study the computational complexity of the universal and quasi-equational theories of classes of bounded distributive lattices with a negation operation, i.e., a unary operation satisfying a subset of the properties of the Boolean negation. The upper bounds are obtained through the use of partial algebras. The lower bounds are either inherited from the equational theory of bounded distributive lattices or obtained through a reduction of a global satisfiability problem for a suitable system of propositional modal logic.

Marcel Gauchet spoke of the “eclipse of the political” during the neo-liberal era, but with the rise of populism he is now forced to speak of a “revenge of the political”. As the eclipse was discussed in terms of a new era of individualization, understood as the culmination of the “disenchantment of the world”, one has a right to ask what is the place of individualization in the era of the political’s revenge, particularly as, in the face of Covid 19, (...) the refusal to wear masks is couched in terms of the defense of individual liberties? In what is an immanent critique of Gauchet’s claims, individualization is considered under four rubrics: abstract individualization vs. concrete socialization; the dilemmas of recognition; rejection of alterity; and the loss of the sense of the social. The paper concludes that the “revenge” should be understood as a revenge of an “anti-political” politics. (shrink)

Christology seems to fall fairly clearly into two divisions. The first is concerned with the truth of the two propositions: ‘Christ is God’ and ‘Christ is a man’. The second is concerned with the mutual compatibility of these propositions. The first part of Christology tends to confine itself to what is sometimes called ‘positive theology’: that is to say, it is largely given over to examining the Jons revelationis —let us not prejudge currently burning issues by asking what this is—to (...) see what evidence can be found for the truth of these propositions. Clearly, the methods used will be above all those of New Testament exegesis. The second part of Christology will necessarily consist entirely of that speculative theology which is contrasted with positive theology. Even if the earliest speculation on this topic is to be found in the New Testament itself and thus becomes fair game for the exegetes, any attempt to relate the primary truths, ‘Christ is God’ and ‘Christ is a man’, to eachother is a work of reflection, and in the terminology I am using speculative. (shrink)

One of the most extensive yet least conclusive methodological debates within religious studies revolves around the question of what, precisely, the phenomenology of religion is and what contribution it can make to the study of religion. I do not intend to answer this important question here. To do so satisfactorily would require a range of historical, philosophical and methodological inquiry which would go quite beyond the bounds of a single article. My intention in this paper is, by comparison, unambitious. It (...) is to take one view of what phenomenology of religion is and to consider an area outside that usually explored by students of religion which can, nonetheless, shed some light on how religions might be studied in a way which is in accordance with the phenomenology of religion so understood. What follows will offer an answer to the question of what contribution one particular understanding of phenomenology might make to the study of religion, but no attempt will be made to establish whether or not this particular understanding ought to be regarded as normative. (shrink)

"This edition, which replaces the original Loeb edition..., offers text, translation, and annotation that are fully current with modern scholarship"--Front flap of dust jacket, volume 1.

This book describes a program of research in computable structure theory. The goal is to find definability conditions corresponding to bounds on complexity which persist under isomorphism. The results apply to familiar kinds of structures (groups, fields, vector spaces, linear orderings Boolean algebras, Abelian p-groups, models of arithmetic). There are many interesting results already, but there are also many natural questions still to be answered. The book is self-contained in that it includes necessary background material from recursion theory (ordinal notations, (...) the hyperarithmetical hierarchy) and model theory (infinitary formulas, consistency properties). (shrink)

In a discussion-note in Mind, Father P. M. Farrell, O.P., gave an account, in what he admitted to be an embarrassingly brief compass, of the Thomist doctrine concerning evil. There is one sentence in this discussion which at first glance appears paradoxical. Father Farrell has been arguing that a universe containing ‘corruptible good’ as well as incorruptible is better than one containing ‘incorruptible good’ only. He continues: ‘If, however, they are to manifest this corruptible good, they must be corruptible and (...) they must sometimes corrupt.’ The final words, despite Father Farrell's italics, strike one as expressing, not a self-evident truth, but a non sequitur. The fact that I am capable of committing murder does not entail that I will at some time commit it. It is not immediately obvious that a similar entailment holds in the case of corruption and corruptibility. (shrink)

In his celebrated masterpiece, Symposium, Plato imagines a high-society dinner-party in Athens in 416 BC at which the guests - including the comic poet Aristophanes and, of course, Plato's mentor Socrates - each deliver a short speech in praise of love. The sequence of dazzling speeches culminates in Socrates' famous account of the views of Diotima, a prophetess who taught him that love is our means of trying to attain goodness. And then into the party bursts the drunken Alcibiades, the (...) most popular and notorious Athenian of the time, who insists on praising Socrates himself rather than love, and gives us a brilliant sketch of this enigmatic character. The power, humour, and pathos of Plato's creation engages the reader on every page. This new translation is complemented by full explanatory notes and an illuminating introduction. (shrink)

Banking, in common with other areas of finance, is often considered an amoral field focused purely on risk and return. However, ethics does have an important role to play, both traditionally and as business and banking evolve. Based on a speech to a European Union conference on financing small and medium–sized enterprises (SMEs), this paper seeks to provide an overview of ethics in banking using three terms. Integrity is important to generate the trust necessary for any banking system to flourish, (...) responsibility highlights contemporary banks’ need to take into account the consequences of their lending policies, and affinity refers to a set of relatively novel ways in which depositors and borrowers can be brought closer together than they are in conventional western banking. (shrink)

A study in philosophical logic of the meaning of 'true'. Dr Williams demonstrates the shortcomings of various analyses which interpret 'true' as a predicate or truth as a relational property, and clears up a number of important points about propositions, quantification, definite descriptions and correspondence. This 'deflationary metaphysics' is interwoven with a positive theory of his own, which seeks to develop ideas about the late Arthur Prior. The work is marked throughout by great clarity, precision and thoroughness.

A study in philosophical logic of the meaning of 'true'. Dr Williams demonstrates the shortcomings of various analyses which interpret 'true' as a predicate or truth as a relational property, and clears up a number of important points about propositions, quantification, definite descriptions and correspondence. This 'deflationary metaphysics' is interwoven with a positive theory of his own, which seeks to develop ideas about the late Arthur Prior. The work is marked throughout by great clarity, precision and thoroughness.

We extend results of Harizanov and Barker. For a relation R on a recursive structure /oA, we give conditions guaranteeing that the image of R in a recursive copy of /oA can be made to have arbitrary ∑α0 degree over Δα0. We give stronger conditions under which the image of R can be made ∑α0 degree as well. The degrees over Δα0 can be replaced by certain more general classes. We also generalize the Friedberg-Muchnik Theorem, giving conditions on a pair (...) of relations R and S under which the images of R and S can be made ∑α0 and independent over Δα0 in a recursive copy of /oA. (shrink)

The Statesman is Plato's neglected political work, but it is crucial for an understanding of the development of his political thinking. In some respects it continues themes from the Republic, particularly the importance of knowledge as entitlement to rule. But there are also changes: Plato has dropped the ambitious metaphysical synthesis of the Republic, changed his view of the moral psychology of the citizen, and revised his position on the role of law and institutions. In its presentation of the statesman's (...) expertise, the Statesman modifies, as well as defending in original ways, this central theme of the Republic. (shrink)

Sandia National Laboratories, located in Albuquerque, New Mexico, was originally a part of Los Alamos Laboratory. In 1949, AT&T agreed to manage Sandia, which they did for the next 44 years. During those Cold War years, Sandia was the prime weapons engineering laboratory for Los Alamos and Lawrence Livermore. As such, it bore prime responsibility for designing and adapting nuclear weapons for the military services' delivery systems, and ensuring the safety and reliability of the stockpile. The Labs' history has been (...) unevenly documented, hindered by the secret nature of its work and the desire of management to maintain a low public profile. There have been three history programs at Sandia: a restricted history published internally in 1963; another history program in the early 1980s that resulted in a history of the Labs' first decade; and the current history program dating from the mid-1990s, which has published a general history and several monographs. This article discusses the challenges and problems inherent in documenting the history of a national weapons laboratory during the last 50 years. (shrink)

_Verificationism_ is the first comprehensive history of a concept that dominated philosophy and scientific methodology between the 1930s and the 1960s. The verificationist principle - the concept that a belief with no connection to experience is spurious - is the most sophisticated version of empiricism. More flexible ideas of verification are now being rehabilitated by a number of philosophers. C.J. Misak surveys the precursors, the main proponents and the rehabilitators. Unlike traditional studies, she follows verificationist theory beyond the demise of (...) positivism to examine its reappearance in the work of modern philosophers. Most interestingly, she argues that despite feminism's strenuous opposition to positivism, verificationist thought is at the heart of much of contemporary feminist philosophy. _Verificationism_ is an excellent assessment of a major and influential system of thought. (shrink)

Ash, C.J., Generalizations of enumeration reducibility using recursive infinitary propositional sentences, Annals of Pure and Applied Logic 58 173–184. We consider the relation between sets A and B that for every set S if A is Σ0α in S then B is Σ0β in S. We show that this is equivalent to the condition that B is definable from A in a particular way involving recursive infinitary propositional sentences. When α = β = 1, this condition is that B is (...) enumeration reducible to A. We establish further generalizations involving infinitely many sets and ordinals. (shrink)